Process Control Software Specification in PCSL

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Requirements Specification in Distributed Software Development – A Process Proposal

Distributed software development presents several characteristics that differentiate from co-located software development. Currently, one of the main difficulties imposed by geographically distributed software teams is the requirements engineering process. Traditional approaches to requirements process don’t cover the fundamental difficulties of dispersion, like communication and coordination. ...

متن کامل

Specification of Coordinated Behaviour in the Software Development Process

A rapidly growing number of papers addresses the topic of software process modeling (see e.g. [5], [1]). Due to the fact that this topic is still a very young discipline within software engineering, many of these papers pay much attention to defining the requirements to software process modelling as well as to describing and discussing the basic concepts and notions in this field. Examples of t...

متن کامل

Requirements Specification for Process-Control Systems

This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS 11). The example specification demonstrates 1) the practicality of writing a formal requirements specification for a comple...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IFAC Proceedings Volumes

سال: 1980

ISSN: 1474-6670

DOI: 10.1016/s1474-6670(17)65167-x